翻訳と辞書 Words near each other ・ Resistance International ・ Resistance Is Futile (Dexter) ・ Resistance Medal ・ Resistance Memorial Cross ・ Resistance movement ・ Resistance movement in Auschwitz ・ Residual value ・ Residual-current device ・ Residual-excited linear prediction ・ Residual-resistance ratio ・ Residually finite group ・ ResidualVM ・ Residuary estate ・ Residuated Boolean algebra ・ Residuated lattice ・ Residuated mapping ・ Residue ・ Residue (chemistry) ・ Residue (complex analysis) ・ Residue at infinity ・ Residue curve ・ Residue depth ・ Residue field ・ Residue Hymns ・ Residue numeral system ・ Residue of The Residents ・ Residue theorem ・ Residue-class-wise affine group ・ Residuum (geology) ・ Resighini Rancheria Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Residuated mapping ： ウィキペディア英語版 Residuated mapping In mathematics, the concept of a residuated mapping arises in the theory of partially ordered sets. It refines the concept of a monotone function. If ''A'', ''B'' are posets, a function ''f'': ''A'' → ''B'' is defined to be monotone if it is order-preserving: that is, if ''x'' ≤ ''y'' implies ''f''(''x'') ≤ ''f''(''y''). This is equivalent to the condition that the preimage under ''f'' of every down-set of ''B'' is a down-set of ''A''. We define a principal down-set to be one of the form ↓ = . In general the preimage under ''f'' of a principal down-set need not be a principal down-set. If it is, ''f'' is called residuated. The notion of residuated map can be generalized to a binary operator (or any higher arity) via component-wise residuation. This approach gives rise to notions of left and right division in a partially ordered magma, additionally endowing it with a quasigroup structure. (One speaks only of residuated algebra for higher arities). A binary (or higher arity) residuated map is usually ''not'' residuated as a unary map.〔Denecke, p. 95; Galatos, p. 148〕 ==Definition== If ''A'', ''B'' are posets, a function ''f'': ''A'' → ''B'' is residuated if and only if the preimage under ''f'' of every principal down-set of ''B'' is a principal down-set of ''A''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Residuated mapping」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.